#include <stdio.h>
#include <math.h>

int main(void) {
    while(1) {
        int n;
        scanf("%d", &n);
        if (n == -1) {
            break;
        }
        int result = 1;
        for (int i = 1; i <= n; i++) {
            result *= i;
            if (result > 10007) {
                result %= 10007;
            }
        }
        printf("%d\n", result);
    }
    return 0;
}
